Auteurs
Exploration
Accueil
Racine
Exploration
Accueil
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Exploration (Accueil)

Index « Auteurs » - entrée « Michaël Rusinowitch »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Michaël Petit < Michaël Rusinowitch < Michel A. Huneault  Facettes :

List of bibliographic references indexed by Michaël Rusinowitch

Number of relevant bibliographic references: 143.
[0-20] [0 - 20][0 - 50][20-40]
Ident.Authors (with country if any)Title
000376 (2015-08-25) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Differentially Private Publication of Social Graphs at Linear Cost
000585 (2015-04-14) Hiep H. Nguyen [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Anonymizing Social Graphs via Uncertainty Semantics
000A35 (2014-07-17) Michaël Rusinowitch [France]Automated Verification of Security Protocols and Services
000D26 (2014) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Chaining
001140 (2013-06-27) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Unranked tree rewriting and effective closures of languages
001850 (2012-11-16) Florent Jacquemard [France] ; Michaël Rusinowitch [France]Rewrite Closure and CF Hedge Automata
001A17 (2012-07-18) Tigran Avanesov [France] ; Yannick Chevalier [France] ; Michaël Rusinowitch [France] ; Mathieu Turuani [France]Intruder deducibility constraints with negation. Decidability and application to secured service compositions.
001B97 (2012-03-24) Alessandro Armando [France] ; Wihem Arsac [France] ; Tigran Avanesov [France] ; Michele Barletta [Italie] ; Alberto Calvi [Italie] ; Alessandro Cappai [France] ; Roberto Carbone [France] ; Yannick Chevalier [France] ; Luca Compagna [France] ; Jorge Cuellar [Allemagne] ; Gabriel Erzse [Roumanie] ; Simone Frau [Suisse] ; Marius Minea [Roumanie] ; Sebastian Modersheim [France] ; David Von Oheimb [Allemagne] ; Giancarlo Pellegrino [France] ; Serena Elisa Ponta [France] ; Marco Rocchetto [Italie] ; Michaël Rusinowitch [France] ; Mohammad Torabi Dashti [Suisse] ; Mathieu Turuani [France] ; Luca Vigano [Italie]The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
001C14 (2012-03-05) Siva Anantharaman [France] ; Christopher Bouchard [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification modulo Chaining
002240 (2011-07-06) Jagdish Prasad Achara [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]DeSCal --- Decentralized Shared Calendar for P2P and Ad-Hoc Networks
002415 (2011-03-21) Asma Cherif [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Optimistic access control for distributed collaborative editors
002656 (2011) Yannick Chevalier [France] ; Mohamed Anis Mekki [France] ; Michaël Rusinowitch [France]Orchestration under Security Constraints
003094 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Decidability of Equivalence of Symbolic Derivations
003180 (2010) Yannick Chevalier [France] ; Michaël Rusinowitch [France]Compiling and securing cryptographic protocols
003877 (2009) Siva Anantharaman [France] ; Hai Lin [États-Unis] ; Christopher Lynch [États-Unis] ; Paliath Narendran [États-Unis] ; Michaël Rusinowitch [France]Unification Modulo Homomorphic Encryption
003900 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Satisfiability Procedures for Combination of Theories Sharing Integer Offsets
003971 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Data Structures with Arithmetic Constraints: A Non-disjoint Combination
003984 (2009) Enrica Nicolini [France] ; Christophe Ringeissen [France] ; Michaël Rusinowitch [France]Combinable Extensions of Abelian Groups
003C44 (2009) Zeeshan Ahmed [France] ; Abdessamad Imine [France] ; Michaël Rusinowitch [France]Safe and Efficient Strategies for Updating Firewall Policies
003D03 (2009) Abdessamad Imine [France] ; Asma Cherif [France] ; Michaël Rusinowitch [France]An Optimistic Mandatory Access Control Model for Distributed Collaborative Editors
003E68 (2008-09) Humberto Abdelnur [France] ; Tigran Avanesov [France] ; Michaël Rusinowitch [France] ; Radu State [France]Abusing SIP Authentication

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Michaël Rusinowitch" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i  \
                -Sk "Michaël Rusinowitch" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Main
   |étape=   Exploration
   |type=    indexItem
   |index=    Author.i
   |clé=    Michaël Rusinowitch
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022